= Łukasiewicz logic - Wikipedia
https://en.wikipedia.org/wiki/%C5%81ukasiewicz_logic